Updated especially for GPL building.

2018-12-12 12:45:36 +01:00
parent 176fa3f4ad
commit c62b514867
4 changed files with 24 additions and 20 deletions
@@ -13,7 +13,9 @@ iff not defined NO_COMPILE then
 	safe_md headers
 	REM "We keep a copy of vendors specific header files at EiffelSoftware as they cannot be"
 	REM "redistributed freely."
-	exprtfile %DEFAULT_ISE_SVN/Src/library/headers.tar.gz > headers\headers.tar.gz
+	if not EXIST headers\headers.tar.gz (
+		exprtfile %DEFAULT_ISE_SVN/Src/library/headers.tar.gz > headers\headers.tar.gz
+	)
 	cd headers
 	tar xvfz headers.tar.gz
 	iff not isdir apps then