diff options
Diffstat (limited to 'cad/astk-serveur/files/patch-lib::as_config.py')
| -rw-r--r-- | cad/astk-serveur/files/patch-lib::as_config.py | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/cad/astk-serveur/files/patch-lib::as_config.py b/cad/astk-serveur/files/patch-lib::as_config.py new file mode 100644 index 000000000000..f5de7cb1aff7 --- /dev/null +++ b/cad/astk-serveur/files/patch-lib::as_config.py @@ -0,0 +1,13 @@ +--- lib/as_config.py.orig Mon Feb 14 09:23:49 2005 ++++ lib/as_config.py Thu Mar 24 10:08:09 2005 +@@ -66,8 +66,8 @@ + 'SRCMAT' : ['materiau'], + 'SRCHIST' : ['histor'], + # name of "binaries" (as results of a make) +- 'BIN_NODBG' : ['asteru.exe'], +- 'BIN_DBG' : ['asterd.exe'], ++ 'BIN_NODBG' : ['asteru'], ++ 'BIN_DBG' : ['asterd'], + 'BINCMDE' : ['commande'], + 'BINELE' : ['elements'], + 'BINPICKLED' : ['cata_ele.pickled'], |