diff --git a/update.sh b/update.sh index 774d8a64a51c1c854d3f528b02a2d841db00c419..d24eef13975e4acba0478bfac34549938451c5a7 100755 --- a/update.sh +++ b/update.sh @@ -22,6 +22,7 @@ cp ../monad_dev/proxy.h . cp ../monad_dev/util.cpp . cp ../monad_dev/util.h . cp ../monad_dev/valgrind.h . +cp ../monad_dev/LICENSE.txt . # Monad Source cp ../monad_dev/Makefile .