[ build ] set BUILD_DIR correctly when testing emacs mode

agda · Jun 20, 2018 · a4e5f12 · a4e5f12
1 parent f151b61
commit a4e5f12
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -390,7 +390,7 @@ script:
     fi
 
   - if [[ $TEST = "MAIN" ]]; then
-       make testing-emacs-mode;
+       make BUILD_DIR=$BUILD_DIR testing-emacs-mode;
     fi
 
   - if [[ $TEST = "MAIN" ]]; then