diff options
author | Andy Wingo <wingo@pobox.com> | 2009-06-05 11:47:34 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2009-06-05 11:47:34 +0200 |
commit | 5e89cd13c077de1419cab140590f76f92a457807 (patch) | |
tree | 4164d2621961d9f5683757418425ad3607128b99 /module/scripts/compile.scm | |
parent | b7393ea123eb0f27d99ba1c38bd944f78b90eb42 (diff) | |
download | guile-5e89cd13c077de1419cab140590f76f92a457807.tar.gz |
disable autocompilation when running guile-tools compile
* module/scripts/compile.scm (compile): Disable autocompilation when
running guile-tools compile.
Diffstat (limited to 'module/scripts/compile.scm')
-rw-r--r-- | module/scripts/compile.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/module/scripts/compile.scm b/module/scripts/compile.scm index f0294b5d6..84d235b8a 100644 --- a/module/scripts/compile.scm +++ b/module/scripts/compile.scm @@ -111,10 +111,13 @@ Compile each Guile source file FILE into a Guile object. -f, --from=LANG specify a source language other than `scheme' -t, --to=LANG specify a target language other than `objcode' +Note that autocompilation will be turned off. + Report bugs to <guile-user@gnu.org>.~%") (exit 0))) (set! %load-path (append load-path %load-path)) + (set! %load-should-autocompile #f) (if (and output-file (or (null? input-files) |