GNUmakefile: adding help

[factor.git] / GNUmakefile

diff --git a/GNUmakefile b/GNUmakefile
index 438ff73078b80d6062ff76b9030fffaab282ae52..e72005222bb5deec2113900cca79695ff4a30b13 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -169,6 +169,7 @@ help:
        @echo "linux-x86-64"
        @echo "linux-ppc-32"
        @echo "linux-ppc-64"
+       @echo "linux-arm-32"
        @echo "linux-arm-64"
        @echo "freebsd-x86-32"
        @echo "freebsd-x86-64"