Updated C env info, and display info.

2018-05-22 20:00:01 +02:00
parent 37f5f8457d
commit ec7212d206
7 changed files with 90 additions and 22 deletions
@@ -0,0 +1,19 @@
+@echo off
+setlocal
+
+REM Save previous environment
+REM FIXME: is it still needed with use of setlocal?
+set OLD_PATH=%PATH
+set OLD_EIFFEL_SRC=%EIFFEL_SRC
+set OLD_ISE_LIBRARY=%ISE_LIBRARY
+set OLD_ISE_SRC=%ISE_SRC
+set TMP_ISE_EIFFEL=%ISE_EIFFEL
+
+call %~dp0init.btm
+call check_environment.btm
+call inc\display_environment.btm
+
+goto EOF
+
+:broken
+CANCEL