File utils/mk_dashboard_wrapper artifact 37e41509e7 part of check-in f2ad9ca9c4
#!/bin/bash prefix=$1 echo "#!/bin/bash" if [ $LD_LIBRARY_PATH != "" ];then echo "export LD_LIBRARY_PATH=$LD_LIBRARY_PATH" fi dboard=`realpath $prefix/bin/dboard` echo "$dboard \$*"