diff options
Diffstat (limited to 'rules.ninja')
| -rw-r--r-- | rules.ninja | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rules.ninja b/rules.ninja index 19458c89..8d02c75d 100644 --- a/rules.ninja +++ b/rules.ninja @@ -39,6 +39,9 @@ rule mc rule muse command = muse $museflags -o $out $in +rule probe + command = rc ./scripts/probe.rc $var $cc $cflags $ldflags -o /dev/null -x c $in >$out.tmp && mv $out.tmp $out + # misc tools rule touch command = touch $out |