diff options
Diffstat (limited to 'altoslib/Makefile.am')
| -rw-r--r-- | altoslib/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/altoslib/Makefile.am b/altoslib/Makefile.am index 447830e5..dfae0f69 100644 --- a/altoslib/Makefile.am +++ b/altoslib/Makefile.am @@ -207,3 +207,6 @@ bin: $(JAR): classaltoslib.stamp jar cf $@ -C bin org +if STRIP_NONDETERMINISM + $(STRIP_NONDETERMINISM) $@ +endif |