]> Savannah Git Hosting - gnulib.git/commitdiff
autoupdate
authorKarl Berry <karl@freefriends.org>
Sat, 12 May 2018 20:31:23 +0000 (13:31 -0700)
committerKarl Berry <karl@freefriends.org>
Sat, 12 May 2018 20:31:23 +0000 (13:31 -0700)
build-aux/config.sub

index 0a518c367a31b1d80ec035d2a79a0c205a5eddf0..98835b480d67dfd396fa539d618ca0dbf4bdf24b 100755 (executable)
@@ -2,7 +2,7 @@
 # Configuration validation subroutine script.
 #   Copyright 1992-2018 Free Software Foundation, Inc.
 
-timestamp='2018-05-11'
+timestamp='2018-05-12'
 
 # This file is free software; you can redistribute it and/or modify it
 # under the terms of the GNU General Public License as published by
@@ -1551,10 +1551,6 @@ case $os in
        -none)
                ;;
        -*-eabi)
-               case $basic_machine in
-                   arm*)
-                       ;;
-               esac
                ;;
        *)
                # Get rid of the `-' at the beginning of $os.