diff options
author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-09-04 16:15:59 -0400 |
---|---|---|
committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-09-04 16:15:59 -0400 |
commit | fd228dce289f18805bceff80e9466a7eaa1119e9 (patch) | |
tree | 15913cf265e1a0bd36f6d691d6bc07dc46e69197 /src/monkeyshell/Makefile | |
parent | 7c3907e9b1d11c55db00f86b9534947f3b51b3ba (diff) |
wrote simple monkeyshell so we have a fake shell for test accounts on george (if we want to give them out).
Diffstat (limited to 'src/monkeyshell/Makefile')
-rw-r--r-- | src/monkeyshell/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/monkeyshell/Makefile b/src/monkeyshell/Makefile new file mode 100644 index 0000000..312938e --- /dev/null +++ b/src/monkeyshell/Makefile @@ -0,0 +1,2 @@ +monkeyshell: monkeyshell.c + gcc -Wall -Werror --pedantic -o monkeyshell monkeyshell.c |