changeset 313:9465b39f764a

[project @ 1994-01-21 23:43:10 by jwe]
author jwe
date Fri, 21 Jan 1994 23:43:10 +0000
parents 069ae2896cf7
children 1738f4390384
files flibs.sh
diffstat 1 files changed, 16 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/flibs.sh	Wed Jan 19 21:40:54 1994 +0000
+++ b/flibs.sh	Fri Jan 21 23:43:10 1994 +0000
@@ -31,6 +31,22 @@
   then
     want_arg=
     case $arg in
+      /*.a)
+        exists=false
+        for f in $lflags
+        do
+          if test x$arg = x$f
+          then
+            exists=true
+          fi
+        done
+	if $exists
+	then
+	  arg=
+        else
+          lflags="$lflags $arg"
+	fi
+      ;;
       -[lL]*)
         exists=false
         for f in $lflags