diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2017-05-14 12:27:20 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-14 12:27:20 -0400 |
commit | 47e5f0f3e63b48e6758d1d52edffbcb8a9e74fd7 (patch) | |
tree | 9a8dba5da399c071341407ded8c21b82b43c9d78 | |
parent | 431a0a00148fb0fec21dacedc7665b52a7b0c557 (diff) | |
parent | ecf1d5aea6bdfe93b24af07f07a925eb477d685d (diff) |
Merge pull request #79 from bbarenblat/master
Use quiet mode for Ur/Web binaries in tests
-rw-r--r-- | Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 33bf4e7c..f0392de0 100644 --- a/Makefile.am +++ b/Makefile.am @@ -123,7 +123,7 @@ test: bin/urweb -boot -noEmacs -dbms sqlite -db $(TESTDB) -demo /Demo demo rm -f $(TESTDB) sqlite3 $(TESTDB) < demo/demo.sql - demo/demo.exe -a 127.0.0.1 & echo $$! > $(TESTPID) + demo/demo.exe -q -a 127.0.0.1 & echo $$! > $(TESTPID) sleep 1 (curl -s 'http://localhost:8080/Demo/Hello/main' | diff tests/hello.html -) || (kill `cat $(TESTPID)`; echo "Test 'Hello' failed"; /bin/false) (curl -s 'http://localhost:8080/Demo/Crud1/create?A=1&B=2&C=3&D=4' | diff tests/crud1.html -) || (kill `cat $(TESTPID)`; echo "Test 'Crud1' failed"; /bin/false) @@ -133,7 +133,7 @@ test: echo "Running IPv6 tests."; \ rm -f $(TESTDB); \ sqlite3 $(TESTDB) < demo/demo.sql; \ - demo/demo.exe -A ::1 & echo $$! > $(TESTPID); \ + demo/demo.exe -q -A ::1 & echo $$! > $(TESTPID); \ sleep 1; \ (curl -g -6 -s 'http://[::1]:8080/Demo/Hello/main' | diff tests/hello.html -) || (kill `cat $(TESTPID)`; echo "Test 'Hello' failed"; /bin/false); \ (curl -g -6 -s 'http://[::1]:8080/Demo/Crud1/create?A=1&B=2&C=3&D=4' | diff tests/crud1.html -) || (kill `cat $(TESTPID)`; echo "Test 'Crud1' failed"; /bin/false); \ |