Changeset 1230 for ThirdParty/Glpk/trunk/get.Glpk

Timestamp:

Jan 6, 2009 4:29:13 PM (12 years ago)

Author:

stefan

Message:

force rebuild of all files after get.glpk has been called; move creation of config.h into Makefile

File:

• ThirdParty/Glpk/trunk/get.Glpk (modified) (1 diff)

ThirdParty/Glpk/trunk/get.Glpk

@@ -47 +47 @@
 echo "Done downloading the source code for GLPK."
 echo "Applying patch file."
-echo " "
 
 patch -p0 < glpk.patch
 
+echo "Touch every source file to force rebuild of whole package."
+
+touch glpk/src/*.c glpk/include/*.h
+
 echo " "
 echo "Verify that there are no error message in the output above."