Ignore:
Timestamp:
Jan 6, 2009 4:29:13 PM (11 years ago)
Author:
stefan
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • ThirdParty/Glpk/trunk/get.Glpk

    r1226 r1230  
    4747echo "Done downloading the source code for GLPK."
    4848echo "Applying patch file."
    49 echo " "
    5049
    5150patch -p0 < glpk.patch
    5251
     52echo "Touch every source file to force rebuild of whole package."
     53
     54touch glpk/src/*.c glpk/include/*.h
     55
    5356echo " "
    5457echo "Verify that there are no error message in the output above."
Note: See TracChangeset for help on using the changeset viewer.