diff options
Diffstat (limited to 'python')
| -rw-r--r-- | python/config/Make.rules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/python/config/Make.rules b/python/config/Make.rules index d24b42c7227..4a478f9a81e 100644 --- a/python/config/Make.rules +++ b/python/config/Make.rules @@ -90,7 +90,7 @@ define make-python-slice $2/$3_$(or $4,%)_ice.py: $1/$3/$(or $4,%).ice $2/$3/.depend/$(or $4,%).ice.d $(slice2py_path) $(E) "Compiling $$<" - $(Q)$(slice2py_path) -I$1 --ice --output-dir $2 $5 --depend $$< > $2/$3/.depend/$(or $4,$$(*F)).ice.d - $(Q)$(slice2py_path) -I$1 --ice --output-dir $2 --prefix $3_ --checksum $5 $$< + $(Q)$(slice2py_path) -I$1 --output-dir $2 $5 --depend $$< > $2/$3/.depend/$(or $4,$$(*F)).ice.d + $(Q)$(slice2py_path) -I$1 --output-dir $2 --prefix $3_ --checksum $5 $$< endef |