diff --git a/.monadid b/.monadid new file mode 100644 index 0000000000000000000000000000000000000000..5aefe8bfa8f6cf20ecd0edf76e1e8a0ab6991ac1 --- /dev/null +++ b/.monadid @@ -0,0 +1,2 @@ +-e This file is used for monad directory identification +monad Build Date: Mon Aug 29 23:26:42 CDT 2011 diff --git a/update.sh b/update.sh index 79f944bb40855e8bb79d2806f953fb89566e8f40..6af76da2a9600db8d2800b935c8cf612e2e27c72 100755 --- a/update.sh +++ b/update.sh @@ -1,4 +1,5 @@ cp ../monad_dev/monad . +cp ../monad_dev/.monadid . cp ../monad_dev/valgrind.h . cp ../monad_dev/memcheck.h . cp ../monad_dev/Makefile.proxy .