v1.3.3

QED-it · Feb 22, 2021 · f2413a4 · f2413a4
1 parent 5e33b5f
commit f2413a4
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/rust/Cargo.toml b/rust/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zkinterface"
-version = "1.3.2"
+version = "1.3.3"
 authors = ["Aurélien Nicolas <aurel@qed-it.com>"]
 license = "MIT"
 build = "build.rs"

diff --git a/rust/src/consumers/workspace.rs b/rust/src/consumers/workspace.rs
@@ -132,7 +132,10 @@ pub fn list_workspace_files(paths: &[PathBuf]) -> Result<Vec<PathBuf>> {
     let mut all_paths = vec![];
 
     for path in paths {
-        if has_zkif_extension(path) || path == Path::new("-") {
+        if has_zkif_extension(path) {
+            all_paths.push(path.clone());
+        } else if path == Path::new("-") {
+            if paths.len() > 1 { return Err("Cannot combine files and stdin".into()); }
             all_paths.push(path.clone());
         } else {
             for file in read_dir(path)? {