X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=blobdiff_plain;f=altoslib%2FMakefile.am;h=dfae0f6968d9a6140ef7bc4ca383ed7bd1ae610d;hp=447830e547f242175702bd16c7612e5d0202431c;hb=630f457666b48321be0a5b6fbf391efef1fa3eb4;hpb=145e5a1ac557c4990e74fb64b005fc68d6941bdc

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