rpath_args

Utility script used by RPATH wrapper script; output is statements that define the following environment variables * $CMD_ARGS: new list of command line arguments to pass * $RPATH_ARGS: command line option to specify list of paths to RPATH

author: Kenneth Hoste (HPC-UGent)

is_new_existing_path(new_path, paths)

Check whether specified path exists and is a new path compared to provided list of paths.