diff --git a/debian/scripts/misc/kernelconfig b/debian/scripts/misc/kernelconfig index 5c3214b8ffab..44c1b79d9765 100755 --- a/debian/scripts/misc/kernelconfig +++ b/debian/scripts/misc/kernelconfig @@ -24,7 +24,6 @@ case "$mode" in exit 1 ;; esac -set -x if [ -z "$gcc" ]; then echo "ERROR: gcc environment variable must be set" exit 1