nodrop: Add feature flag use_needs_drop; Tag version 0.1.5

2015-12-14 04:21:44 +01:00
parent 1921048acd
commit 2d55a2d507
4 changed files with 43 additions and 8 deletions
@@ -7,7 +7,7 @@ matrix:
    - rust: nightly
    - rust: nightly
      env:
-      - NODROP_FEATURES='no_drop_flag'
+      - NODROP_FEATURES='no_drop_flag use_needs_drop'
 script:
  - |
      [ -z "$NODROP_FEATURES" ] && cargo build --verbose --features "$FEATURES"