diff options
author | Lev Walkin <vlm@lionet.info> | 2017-11-05 20:32:15 -0800 |
---|---|---|
committer | Lev Walkin <vlm@lionet.info> | 2017-11-05 20:32:15 -0800 |
commit | c9b2f28b982f84b017eb48b1ba41135197c8a2e2 (patch) | |
tree | 35a3d1ec3f3c44f0e0d0cc6d03b169cd2f76aad3 /.gitignore | |
parent | 3f52df00df500231571db3dc361d4e31f5bf74d1 (diff) |
replace incompatible awk with C
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -47,6 +47,9 @@ stamp-h* /tests/tests-skeletons/check-* !/tests/tests-skeletons/check-*.c +# /tests/tests-randomized +/tests/tests-randomized/test-param-helper + # /doc/docsrc doc/docsrc/*.aux doc/docsrc/*.dvi |