tools.which: add a convenience for "which or".

diff --git a/extra/tools/which/which.factor b/extra/tools/which/which.factor
index 68e230b637ba4ee54a295541be0e3bfe32a377d8..52293a264fb2ca81636bb98ea3f20dbf341a0978 100644 (file)
--- a/extra/tools/which/which.factor
+++ b/extra/tools/which/which.factor
@@ -41,6 +41,9 @@ PRIVATE>
 : which ( command -- file/f )
     "PATH" os-env (which) ;
 
+: ?which ( command -- file/command )
+    [ which ] [ or ] bi ;
+
 : run-which ( -- )
     command-line get [ which [ print ] when* ] each ;