make_all_examples 217 Bytes
Newer Older
gejun's avatar
gejun committed
1
saved_pwd_before_making=$PWD
2
for file in `find tools example -name Makefile`; do
gejun's avatar
gejun committed
3
    cd $(dirname $file)
4 5
    echo
    echo "[$file]"
6
    if ! make -sj4; then
7 8
        exit 1
    fi
gejun's avatar
gejun committed
9 10
    cd $saved_pwd_before_making
done