added missing (src/utile/) utile.bat and utile3.bat

2022-05-06 23:42:00 +02:00 · 2022-05-06 23:42:00 +02:00 · 15e67e04b7
parent d0b273c2c5
commit 15e67e04b7
2 changed files with 8 additions and 0 deletions
--- a/src/utile/utile.bat
+++ b/src/utile/utile.bat
@ -0,0 +1,4 @@
+set PATH=%XSCHEM_SHAREDIR%/utile;%PATH%
+set UTILE3_PATH="%XSCHEM_SHAREDIR%/utile
+@ECHO OFF 
+preprocess.awk "%*" | expand_alias.awk | param.awk | clock.awk | stimuli.awk
--- a/src/utile/utile3.bat
+++ b/src/utile/utile3.bat
@ -0,0 +1,4 @@
+set PATH=%XSCHEM_SHAREDIR%/utile;%PATH%
+set UTILE3_PATH="%XSCHEM_SHAREDIR%/utile
+@ECHO OFF 
+utile.tcl "%*"