Guest User

Untitled

a guest
Jul 22nd, 2018
83
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.31 KB | None | 0 0
  1. SCRATCHBOX_HOME=$SCRATCHBOX/users/$USER/home/$USER
  2. -VERSION=$(grep '^AC_INIT' ${HIPL}/configure.ac|cut -d'[' -f 3|cut -d']' -f1)
  3. +VERSION=$(grep '^AC_INIT' ${HIPL}/configure.ac | cut -d'[' -f 3 | cut -d']' -f1)
  4.  
  5. if [ ! -e $SCRATCHBOX ]; then
  6. echo "ERROR: There seems to be no ScratchBox installation at $SCRATCHBOX"
Add Comment
Please, Sign In to add comment