Christian Pehle 066baeccc0 fix: pass (some) cmdline arguments to watchdog and workers ... Capture some of the command line arguments in an argument vector, that then gets passed to the watchdog and subsequently the worker processes. Currently flags like "-T" and "-j2" are not passed on to the watchdog and worker processes. Addresses #246		2021-01-17 15:06:11 +01:00
..
CMakeLists.txt	feat: basic port of leanpkg	2020-12-29 14:42:48 -08:00
lean.cpp	fix: pass (some) cmdline arguments to watchdog and workers	2021-01-17 15:06:11 +01:00
lean_js.cpp	chore: remove dead code	2020-10-27 09:37:21 -07:00
mk_lean_sh.sh	fix(test*.sh): allow spaces in filename	2015-03-28 23:29:52 -04:00