Skip to content

Instantly share code, notes, and snippets.

@vittorioromeo
Created November 24, 2013 16:39
Show Gist options
  • Save vittorioromeo/7629146 to your computer and use it in GitHub Desktop.
Save vittorioromeo/7629146 to your computer and use it in GitHub Desktop.
#!/bin/bash
(
cd /home/vittorioromeo/WEBVittorioRomeo2/
git pull
git submodule foreach git pull origin master
cd ./_RELEASE/
cmake ..
make -j2
sudo make install
./WEBVittorioRomeo2
cp -R ./Result/* /home/vittorioromeo/www/
echo "Done!"
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment