diff options
Diffstat (limited to 'admin/compile')
| -rwxr-xr-x | admin/compile | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/admin/compile b/admin/compile index 7b4a9a7e1e2e..531136b068ef 100755 --- a/admin/compile +++ b/admin/compile @@ -1,9 +1,9 @@ #! /bin/sh # Wrapper for compilers which do not understand '-c -o'. -scriptversion=2012-03-05.13; # UTC +scriptversion=2012-10-14.11; # UTC -# Copyright (C) 1999-2012 Free Software Foundation, Inc. +# Copyright (C) 1999-2013 Free Software Foundation, Inc. # Written by Tom Tromey <tromey@cygnus.com>. # # This program is free software; you can redistribute it and/or modify @@ -112,6 +112,11 @@ func_cl_dashl () lib=$dir/$lib.lib break fi + if test -f "$dir/lib$lib.a"; then + found=yes + lib=$dir/lib$lib.a + break + fi done IFS=$save_IFS |