diff options
author | Karl Berry <karl@freefriends.org> | 2003-01-23 14:13:29 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2003-01-23 14:13:29 +0000 |
commit | 5da9c7d257f59b649229040d95fd86c8d830868c (patch) | |
tree | e5bb85b9d89d0da1a4f2fd1b6d2faaeecadfb675 | |
parent | 83c77f92f1c684e748d1e3fe76e0b8be637bc8bb (diff) | |
download | gnulib-5da9c7d257f59b649229040d95fd86c8d830868c.tar.gz |
update from prep
-rw-r--r-- | config/config.sub | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/config/config.sub b/config/config.sub index 04baf3d80d..e9fe1586b7 100644 --- a/config/config.sub +++ b/config/config.sub @@ -3,7 +3,7 @@ # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, # 2000, 2001, 2002, 2003 Free Software Foundation, Inc. -timestamp='2003-01-03' +timestamp='2003-01-22' # This file is (in principle) common to ALL GNU software. # The presence of a machine in this file suggests that SOME GNU software @@ -1227,6 +1227,9 @@ case $os in -*mint | -mint[0-9]* | -*MiNT | -MiNT[0-9]*) os=-mint ;; + -aros*) + os=-aros + ;; -none) ;; *) |