@@ -890,12 +890,12 @@
            (hash-table-delete! args:arg-hash "-itempatt")))
      
      (if (args:get-arg "-runtests")
          (debug:print 0 *default-log-port* "WARNING: \"-runtests\" is deprecated. Use \"-run\" with \"-testpatt\" instead"))
 
-     (debug:print 0 *default-log-port* "on-exit disabled. Please re-enable")
-     ;; (on-exit std-exit-procedure)
+     ;; (debug:print 0 *default-log-port* "on-exit disabled. Please re-enable")
+     (on-exit std-exit-procedure)
      
      ;;======================================================================
      ;; Misc general calls
      ;;======================================================================