diff options
| -rwxr-xr-x | readline/support/shobj-conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/readline/support/shobj-conf b/readline/support/shobj-conf index 04e30c9d089..6bd7fb120ca 100755 --- a/readline/support/shobj-conf +++ b/readline/support/shobj-conf @@ -1,4 +1,4 @@ -#! /bin/sh -x +#! /bin/sh # # shobj-conf -- output a series of variable assignments to be substituted # into a Makefile by configure which specify system-dependent |