diff options
Diffstat (limited to 'src/auto')
-rwxr-xr-x | src/auto/configure | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/auto/configure b/src/auto/configure index e47369de80..3aef2f13ee 100755 --- a/src/auto/configure +++ b/src/auto/configure @@ -10593,8 +10593,7 @@ fi done else - for ac_header in Xm/Xm.h Xm/XpmP.h Xm/JoinSideT.h Xm/TraitP.h Xm/Manager.h - Xm/UnhighlightT.h Xm/Notebook.h + for ac_header in Xm/Xm.h Xm/XpmP.h Xm/JoinSideT.h Xm/TraitP.h Xm/Manager.h Xm/UnhighlightT.h Xm/Notebook.h do : as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh` ac_fn_c_check_header_mongrel "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default" |