@@ -912,12 +912,13 @@
            (hash-table-set! args:arg-hash "-testpatt" newval)
            (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"))
-     
-     (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
      ;;======================================================================