diff options
author | Pádraig Brady <P@draigBrady.com> | 2017-07-23 12:30:49 -0700 |
---|---|---|
committer | Pádraig Brady <P@draigBrady.com> | 2017-07-23 12:32:29 -0700 |
commit | 57449644966071b9adc6ddceb5080af46a5adeaa (patch) | |
tree | f04ab85b30160ab115daa5635bba29b7ddddd45a /.gitignore | |
parent | 79c8041a840f34ae9790e8211544f0cfec1c7df3 (diff) | |
download | coreutils-57449644966071b9adc6ddceb5080af46a5adeaa.tar.gz |
maint: fix recent syntax-check failures
* .gitignore: Add /lib/utime.h from the recent gnulib update.
* src/nproc.c (usage): Adjust spacing to placate help2man.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 9a2decfcd..28eda4972 100644 --- a/.gitignore +++ b/.gitignore @@ -106,6 +106,7 @@ /lib/uniwidth /lib/uniwidth.h /lib/unused-parameter.h +/lib/utime.h /lib/warn-on-use.h /lib/wchar.h /lib/wctype.h |