From 76f7ff1f56cf5eebc91549277992ccf92333bdef Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Fri, 26 Jul 2019 20:53:33 -0400 Subject: rename shell scripts to *.sh, remove execute bit, let make rename and enable execution --- nproc | 2 -- 1 file changed, 2 deletions(-) delete mode 100755 nproc (limited to 'nproc') diff --git a/nproc b/nproc deleted file mode 100755 index f70e2ca..0000000 --- a/nproc +++ /dev/null @@ -1,2 +0,0 @@ -# This is not implementable portably, so just always say one. -echo 1 -- cgit v1.2.1