X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/9347d109a9b928929fdc0cedcc1d867bd7e2a918..c02bb3e0b72cd17aaa3cdfb9587d934f1097cc1f:/l4/tool/kconfig/scripts/kconfig/check.sh

diff --git a/l4/tool/kconfig/scripts/kconfig/check.sh b/l4/tool/kconfig/scripts/kconfig/check.sh
index fa59cbf9d..854d9c7c6 100755
--- a/l4/tool/kconfig/scripts/kconfig/check.sh
+++ b/l4/tool/kconfig/scripts/kconfig/check.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 # Needed for systems without gettext
-$* -xc -o /dev/null - > /dev/null 2>&1 << EOF
+$* -x c -o /dev/null - > /dev/null 2>&1 << EOF
 #include <libintl.h>
 int main()
 {