https://github.com/JuliaLang/julia
Raw File
Tip revision: b372a68743c0139797316fd8b4a95d497ba6d8f0 authored by Keno Fischer on 26 October 2013, 02:06:56 UTC
Tag v0.2.0-rc2
Tip revision: b372a68
filterDupLibs.sh
#!/bin/bash

libnames=""
libpaths=""

# Loop over all command line arguments
for i in "$@"; do
    # Get basename of this argument, check if it is already in libnames
    name=$(basename "$i")

    if [[ -z $(echo $libnames | grep "$name") ]]; then
        libnames+="$name " 
        libpaths+="$i "
    fi
done

echo $libpaths
back to top