diff options
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'], |