diff options
Diffstat (limited to 'scripts/compile')
-rwxr-xr-x | scripts/compile | 20 |
1 files changed, 3 insertions, 17 deletions
diff --git a/scripts/compile b/scripts/compile index ebe810a20..0915c617d 100755 --- a/scripts/compile +++ b/scripts/compile @@ -71,20 +71,6 @@ Report bugs to <guile-user@gnu.org>.~%") (if expand-only? '(#:e) '()) (if translate-only? '(#:t) '()) (if compile-only? '(#:c) '())))) - - (catch #t - (lambda () - (for-each (lambda (file) - (apply compile-file file compile-opts)) - (option-ref options '() '()))) - (lambda (key . args) - (format (current-error-port) "exception `~a' caught~a~%" key - (if (null? args) "" - (if (string? (car args)) - (string-append " in subr `" (car args) "'") - ""))) - - (format (current-error-port) "removing compiled files due to errors~%") - (false-if-exception - (for-each unlink (map compiled-file-name files))) - (exit 1)))))) + (for-each (lambda (file) + (apply compile-file file compile-opts)) + (option-ref options '() '()))))) |