diff options
| author | Doug Freed <dwfreed@mtu.edu> | 2016-12-17 19:59:45 +0000 |
|---|---|---|
| committer | Doug Freed <dwfreed@mtu.edu> | 2016-12-17 23:27:37 +0000 |
| commit | 856eafb006655b7dda630a94cbd16f5db9f781be (patch) | |
| tree | dabfc67a311baba8475cff09895c68d7611cf7dc /pkgconfig/Makefile | |
| parent | f27d60add9ee1ef8a90ea0034edf6f4e4e6d0ed8 (diff) | |
sh/init.sh.Linux.in: skip /proc test if no md5sum
This will also warn users if md5sum is missing, which serves as a pretty
good indicator that /usr is not mounted.
Diffstat (limited to 'pkgconfig/Makefile')
0 files changed, 0 insertions, 0 deletions