Changeset 5468 in orxonox.OLD for trunk/configure

Timestamp:

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

Author:

bensch

Message:

orxonox/trunk: typo

File:

• trunk/configure (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;