X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=altoslib%2FMakefile.am;h=dfae0f6968d9a6140ef7bc4ca383ed7bd1ae610d;hb=7a89aa1ea7e1b02b5cd310986adf4239ec0ce91d;hp=447830e547f242175702bd16c7612e5d0202431c;hpb=f13e294d4644096b0529383c1d60d5e4b7916d76;p=fw%2Faltos 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