diff options
Diffstat (limited to 'gas/configure')
-rwxr-xr-x | gas/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gas/configure b/gas/configure index 98da0db..e187df7 100755 --- a/gas/configure +++ b/gas/configure @@ -11661,7 +11661,7 @@ if test "${gcc_cv_prog_cmp_skip+set}" = set; then : else echo abfoo >t1 echo cdfoo >t2 - gcc_cv_prog_cmp_skip='tail +16c $$f1 > tmp-foo1; tail +16c $$f2 > tmp-foo2; cmp tmp-foo1 tmp-foo2' + gcc_cv_prog_cmp_skip='tail -c +17 $$f1 > tmp-foo1; tail -c +17 $$f2 > tmp-foo2; cmp tmp-foo1 tmp-foo2' if cmp t1 t2 2 2 > /dev/null 2>&1; then if cmp t1 t2 1 1 > /dev/null 2>&1; then : |