888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
|
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
|
-
-
+
+
|
(debug:print 0 *default-log-port* "WARNING: -itempatt has been deprecated, please use -testpatt testpatt/itempatt method, new testpatt is "newval)
(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"))
(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
;;======================================================================
;; TODO: Restore this functionality
|