diff options
-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 |