-if [ "x$1" != "xc" ]; then
- echo
- echo "----------------------------------------------------------------"
- echo "Initialized build system. For a common configuration please run:"
- echo "----------------------------------------------------------------"
- echo
- echo "./configure CFLAGS='-g -O0' $args"
- echo
-else
- echo ./configure CFLAGS='-g -O0' $args
- ./configure CFLAGS='-g -O0' $args
- make clean
-fi
+cd $oldpwd
+
+echo
+echo "----------------------------------------------------------------"
+echo "Initialized build system. For a common configuration please run:"
+echo "----------------------------------------------------------------"
+echo
+echo "$topdir/configure CFLAGS='-g -O0 -ftrapv' --enable-kdbus $args"
+echo