diff --git a/make_the_things b/make_the_things new file mode 100755 index 0000000000000000000000000000000000000000..d008616775a4b399bdc2e6935ccff43518a978b9 --- /dev/null +++ b/make_the_things @@ -0,0 +1,13 @@ +#!/bin/bash + + +# I (Josh) really don't like having to dance around from directory +# to directory running `make`, so here's a shell script which makes +# everything in turn automatically. + +for DIR in threads userprog vm filesys examples; do + cd $DIR; + make -j 9; + cd ..; +done; + diff --git a/setup_path b/setup_path new file mode 100755 index 0000000000000000000000000000000000000000..cbe2e1c360a75b726e266850d0710f920f9a8f54 --- /dev/null +++ b/setup_path @@ -0,0 +1,4 @@ +#!/bin/bash + +export PATH=$PATH:$(pwd)/utils; +