#!/bin/sh set -xue # compile WW3 cd src make echo 'Compile WW3 done'