]> Savannah Git Hosting - gnulib.git/commitdiff
autoupdate
authorKarl Berry <karl@freefriends.org>
Sun, 18 Dec 2016 22:32:40 +0000 (14:32 -0800)
committerKarl Berry <karl@freefriends.org>
Sun, 18 Dec 2016 22:32:40 +0000 (14:32 -0800)
build-aux/config.sub

index 3478c1fd0d3188180a9ba8b6b9f7134d31dd0e5e..a2a01128b53a4d92dc64a384d14b88a493e34980 100755 (executable)
@@ -1638,6 +1638,9 @@ case $basic_machine in
        sparc-* | *-sun)
                os=-sunos4.1.1
                ;;
+       pru-*)
+               os=-elf
+               ;;
        *-be)
                os=-beos
                ;;