File utils/mk_wrapper artifact 313bc7ad6e part of check-in ed3cb73e29
#!/bin/bash prefix=$1 cmd=$2 echo "#!/bin/bash" if [ "$LD_LIBRARY_PATH" != "" ];then echo "export LD_LIBRARY_PATH=$LD_LIBRARY_PATH" fi fullcmd=`realpath $prefix/bin/$cmd` echo "$fullcmd \$*"