summaryrefslogtreecommitdiff
path: root/scripts/compile
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/compile')
-rwxr-xr-xscripts/compile20
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 '() '())))))