savedcmd_.checked-atomic-instrumented.h := if ! command -v sha1sum >/dev/null; then echo "warning: cannot check the header due to sha1sum missing"; exit 0; fi; if [ "$$(sed -n '$$s:// ::p' include/linux/atomic/atomic-instrumented.h)" != "$$(sed '$$d' include/linux/atomic/atomic-instrumented.h | sha1sum | sed 's/ .*//')" ]; then echo "error: include/linux/atomic/atomic-instrumented.h has been modified." >&2; exit 1; fi; touch .checked-atomic-instrumented.h