chore(appveyor,ci/script): use debug build with backtrace for test

leanprover · Apr 12, 2018 · 4cabdfe · 4cabdfe
1 parent 6aae5fb
commit 4cabdfe
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/appveyor.yml b/appveyor.yml
@@ -41,7 +41,8 @@ test_script:
   - cargo test --target %TARGET%
   - cargo test --target %TARGET% --release
   # quick test
-  - cargo run --target %TARGET% --release -- -y
+  - set RUST_BACKTRACE=1
+  - cargo run --target %TARGET% -- -y
 
 before_deploy:
   - cargo rustc --target %TARGET% --release --bin elan-init -- -C lto

diff --git a/ci/script.sh b/ci/script.sh
@@ -13,4 +13,4 @@ cross test --target $TARGET
 cross test --target $TARGET --release
 
 # quick test
-cargo run --target $TARGET --release -- -y
+RUST_BACKTRACE=1 cargo run --target $TARGET -- -y
diff --git a/src/elan-cli/common.rs b/src/elan-cli/common.rs
@@ -351,7 +351,7 @@ pub fn report_error(e: &Error) {
         use std::env;
         use std::ops::Deref;
 
-        if env::var("LEAN_BACKTRACE").as_ref().map(Deref::deref) == Ok("1") {
+        if env::var("RUST_BACKTRACE").as_ref().map(Deref::deref) == Ok("1") {
             return true;
         }