diff options
| -rwxr-xr-x | autogen.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/autogen.sh b/autogen.sh index 582a8a3af4..d32f41df9b 100755 --- a/autogen.sh +++ b/autogen.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env sh +#!/bin/sh set -e @@ -28,9 +28,9 @@ args="\ --enable-gtk-doc" echo -echo "---------------------------------------------------------------------" -echo "Initialized udev build system. For a common configuration please run:" -echo "---------------------------------------------------------------------" +echo "----------------------------------------------------------------" +echo "Initialized build system. For a common configuration please run:" +echo "----------------------------------------------------------------" echo -echo "# ./configure $args" +echo "./configure CFLAGS='-g -O0' $args" echo |