diff options
author | Frédéric Crozat <fcrozat@src.gnome.org> | 2003-07-11 09:29:04 +0000 |
---|---|---|
committer | Frédéric Crozat <fcrozat@src.gnome.org> | 2003-07-11 09:29:04 +0000 |
commit | 9a0a31c0cfc3fed9eadfa39c04621236ec3a74e2 (patch) | |
tree | 9ae67bf2eb93848a919c4b0ebfc4b1439f9145d3 | |
parent | d0d49072ed1f96c49da9e61628a55168eb8f860d (diff) | |
download | gnome-desktop-9a0a31c0cfc3fed9eadfa39c04621236ec3a74e2.tar.gz |
Allow GNOME Distributor and Date to be set on configure command-line.
* configure.in: Allow GNOME Distributor and
Date to be set on configure command-line.
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | configure.in | 12 |
2 files changed, 17 insertions, 0 deletions
@@ -1,3 +1,8 @@ +2003-07-11 Frederic Crozat <fcrozat@mandrakesoft.com> + + * configure.in: Allow GNOME Distributor and + Date to be set on configure command-line. + ==================== 2.3.3.1 ==================== 2003-07-04 Mark McLoughlin <mark@skynet.ie> diff --git a/configure.in b/configure.in index 179e1d5d..13ee7ce4 100644 --- a/configure.in +++ b/configure.in @@ -33,6 +33,18 @@ GNOME_MICRO=3 GNOME_DISTRIBUTOR="GNOME.Org" GNOME_DATE="4th July, 2003" +AC_ARG_WITH(gnome_distributor, [ --with-gnome-distributor=DISTRIBUTOR Specify name of GNOME distributor]) + +if test "x$with_gnome_distributor" != x ; then + GNOME_DISTRIBUTOR=$with_gnome_distributor +fi + +AC_ARG_WITH(gnome_date, [ --with-gnome-date=DATE Specify date of this GNOME distribution]) + +if test "x$with_gnome_date" != x ; then + GNOME_DATE=$with_gnome_date +fi + AC_SUBST(GNOME_PLATFORM) AC_SUBST(GNOME_MINOR) AC_SUBST(GNOME_MICRO) |