diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-02-29 08:10:26 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-02-29 08:10:26 +0100 |
| commit | bd6f371e4be7e745c049c5c5cc7523c6c2995df5 (patch) | |
| tree | 025c700fa6892bbd3b07d09f4bf6855f59e64e84 /driver | |
| parent | 41051c5e81306c44db27315e2ddbb8db9d522c3e (diff) | |
| download | compcert-bd6f371e4be7e745c049c5c5cc7523c6c2995df5.tar.gz compcert-bd6f371e4be7e745c049c5c5cc7523c6c2995df5.zip | |
Fixed typo. Bug 18066
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/Driver.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 6969cbf6..88f9fad0 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -511,10 +511,11 @@ Assembling options: Linking options: -l<lib> Link library <lib> -L<dir> Add <dir> to search path for libraries - -nostartfiles (GCC only) Do not use the standard system startup files when + -nostartfiles (GCC only) Do not use the standard system startup files when linking - -nodefaultlibs (GCC only) Do no use the standard system libraries - -nostdlib (GCC only) Do not use the standard system libraries when + -nodefaultlibs (GCC only) Do not use the standard system libraries when + linking + -nostdlib (GCC only) Do not use the standard system libraries when linking -s Remove all symbol table and relocation information from the executable |