make bottest

diff --git a/make.js b/make.js
index 973cb445afad0e092f814e893909a6c880e0179b..13768ebb5bb4e599232f9a930b8a18ebfe66e0d3 100755 (executable)
--- a/make.js
+++ b/make.js
@@ -357,13 +357,22 @@ target.chrome = function() {
 //
 target.test = function() {
   target.browsertest();
-//  target.unittest();
+  target.unittest();
+};
+
+//
+// make bottest
+// (Special tests for the Github bot)
+//
+target.bottest = function() {
+  target.browsertest({noreftest: true});
+  // target.unittest();
 };
 
 //
 // make browsertest
 //
-target.browsertest = function() {
+target.browsertest = function(options) {
   cd(ROOT_DIR);
   echo();
   echo('### Running browser tests');
@@ -377,8 +386,10 @@ target.browsertest = function() {
     exit(1);
   }
 
+  var reftest = options.noreftest ? '' : '--reftest';
+
   cd('test');
-  exec(PYTHON_BIN + ' -u test.py --reftest --browserManifestFile=' + PDF_BROWSERS +
+  exec(PYTHON_BIN + ' -u test.py '+reftest+' --browserManifestFile=' + PDF_BROWSERS +
     ' --manifestFile=' + PDF_TEST, {async: true});
 };