Revision 1419 trunk/scripts/admb/adlink

adlink (revision 1419)
9 9
  if [ "-" = "${arg:0:1}" ]; then
10 10
    args="$args $arg"
11 11
  elif [ "$extension" = "$arg" ]; then
12
    args="$args ${arg}.obj
12
    args="$args ${arg}.obj"
13 13
  else
14 14
    args="$args $arg"
15 15
  fi

Also available in: Unified diff