Changeset 5468 in orxonox.OLD for trunk

Timestamp:

Nov 3, 2005, 12:44:43 AM (19 years ago)

Author:

bensch

Message:

orxonox/trunk: typo

Location:

trunk

Files:

• configure (modified) (1 diff)
• configure.ac (modified) (1 diff)

trunk/configure

@@ -4164 +4164 @@
 echo $ECHO_N "checking convenience flag for working at the taris in the ETH zurich... $ECHO_C" >&6
 
-# Check whether --with-tardi or --without-tardi was given.
-if test "${with_tardi+set}" = set; then
-  withval="$with_tardi"
+# Check whether --with-tardis or --without-tardis was given.
+if test "${with_tardis+set}" = set; then
+  withval="$with_tardis"
   def_tardis=yes
 fi;

trunk/configure.ac

@@ -216 +216 @@
 def_tardis=no
 AC_MSG_CHECKING([convenience flag for working at the taris in the ETH zurich])
-AC_ARG_WITH([tardi],
+AC_ARG_WITH([tardis],
         AC_HELP_STRING( [--with-tardis],
         [sets all the necesary environment flags for linux-TARDIS boxes at the ETH Zurich]), [def_tardis=yes])