diff options
Diffstat (limited to 'tools/check/check_uuid_devel')
| -rwxr-xr-x | tools/check/check_uuid_devel | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/check/check_uuid_devel b/tools/check/check_uuid_devel index 0a90b15eea..82bc2ed4b5 100755 --- a/tools/check/check_uuid_devel +++ b/tools/check/check_uuid_devel @@ -3,4 +3,5 @@ . ./funcs.sh +has_header uuid.h || \ has_header uuid/uuid.h || fail "missing uuid headers (package uuid-dev)" |