diff options
Diffstat (limited to 'cad/astk-serveur/files/patch-asrun_config.py')
-rw-r--r-- | cad/astk-serveur/files/patch-asrun_config.py | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/cad/astk-serveur/files/patch-asrun_config.py b/cad/astk-serveur/files/patch-asrun_config.py index 808cd3f2673a..39d899134c65 100644 --- a/cad/astk-serveur/files/patch-asrun_config.py +++ b/cad/astk-serveur/files/patch-asrun_config.py @@ -1,13 +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'], +--- ./asrun/config.py.orig 2010-07-07 18:18:08.000000000 +0200 ++++ ./asrun/config.py 2010-08-11 19:03:21.000000000 +0200 +@@ -66,8 +66,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'], |