diff options
author | Alexey Neyman <stilor@att.net> | 2017-04-24 03:08:26 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-24 03:08:26 (GMT) |
commit | 88fdbac4252744931ebcf80ade547ade525b71f4 (patch) | |
tree | 6c77f523d5c34bbf7ae1df1839f2f4275e505850 /config/debug/strace.in | |
parent | 368a0169a27313cca60cf7d7358b6f3ef12122e4 (diff) | |
parent | f98e04388c805a1b97b7a49e0d2da5c9acbcf887 (diff) |
Merge pull request #697 from stilor/makefile-enhancements-orig
Makefile enhancements
Diffstat (limited to 'config/debug/strace.in')
-rw-r--r-- | config/debug/strace.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/config/debug/strace.in b/config/debug/strace.in index 4cf6980..38dd96f 100644 --- a/config/debug/strace.in +++ b/config/debug/strace.in @@ -1,7 +1,5 @@ # strace -## depends on ! BACKEND - choice bool prompt "strace version" |