summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFrédéric Crozat <fcrozat@src.gnome.org>2003-07-11 09:29:04 +0000
committerFrédéric Crozat <fcrozat@src.gnome.org>2003-07-11 09:29:04 +0000
commit9a0a31c0cfc3fed9eadfa39c04621236ec3a74e2 (patch)
tree9ae67bf2eb93848a919c4b0ebfc4b1439f9145d3
parentd0d49072ed1f96c49da9e61628a55168eb8f860d (diff)
downloadgnome-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--ChangeLog5
-rw-r--r--configure.in12
2 files changed, 17 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index c16fc937..1100723a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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)