diff options
author | Thierry Thomas <thierry@FreeBSD.org> | 2010-03-26 18:30:46 +0000 |
---|---|---|
committer | Thierry Thomas <thierry@FreeBSD.org> | 2010-03-26 18:30:46 +0000 |
commit | 0aedfcd5070f48b63d470ce940d507e2f870b70a (patch) | |
tree | 6c624dd3abf4cac3982aa6a930bbcfeecfd362be /cad/astk-serveur/files/patch-asrun_config.py | |
parent | d13e955c6759b9e3d4f1090a884aa02031ca89be (diff) | |
download | ports-0aedfcd5070f48b63d470ce940d507e2f870b70a.tar.gz ports-0aedfcd5070f48b63d470ce940d507e2f870b70a.zip |
Notes
Diffstat (limited to 'cad/astk-serveur/files/patch-asrun_config.py')
-rw-r--r-- | cad/astk-serveur/files/patch-asrun_config.py | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/cad/astk-serveur/files/patch-asrun_config.py b/cad/astk-serveur/files/patch-asrun_config.py new file mode 100644 index 000000000000..808cd3f2673a --- /dev/null +++ b/cad/astk-serveur/files/patch-asrun_config.py @@ -0,0 +1,13 @@ +--- ./asrun/config.py.orig 2009-12-23 15:53:06.000000000 +0100 ++++ ./asrun/config.py 2010-01-12 21:31:18.000000000 +0100 +@@ -68,8 +68,8 @@ + 'SRCHIST' : ['histor'], + # name of "binaries" (as results of a make) + 'MAKE' : ['debug nodebug'], +- 'BIN_NODBG' : ['asteru.exe'], +- 'BIN_DBG' : ['asterd.exe'], ++ 'BIN_NODBG' : ['asteru'], ++ 'BIN_DBG' : ['asterd'], + 'BINCMDE' : ['commande'], + 'BINELE' : ['elements'], + 'BINPICKLED' : ['cata_ele.pickled'], |