diff options
author | Luke Shumaker <lukeshu@lukeshu.com> | 2017-08-20 16:54:15 -0400 |
---|---|---|
committer | Luke Shumaker <lukeshu@lukeshu.com> | 2017-08-20 16:54:15 -0400 |
commit | dbd9fa35e5dd40d33d8be9c899f3d56918aba34f (patch) | |
tree | 8c6f5beaecdad99caa724516643e33c2070fedc9 /build-aux/Makefile.once.head/10-write-atomic.mk | |
parent | e4b0a9391be1d21ca15d9610b977f989ccee833a (diff) | |
parent | eaf336a9265399520e3cf71d4979446b98bdf48d (diff) |
Merge remote-tracking branch 'r-autothing/v3/master'
Diffstat (limited to 'build-aux/Makefile.once.head/10-write-atomic.mk')
-rw-r--r-- | build-aux/Makefile.once.head/10-write-atomic.mk | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/build-aux/Makefile.once.head/10-write-atomic.mk b/build-aux/Makefile.once.head/10-write-atomic.mk new file mode 100644 index 0000000..c4aa808 --- /dev/null +++ b/build-aux/Makefile.once.head/10-write-atomic.mk @@ -0,0 +1,23 @@ +mod.write-atomic.description = `write-atomic` auxiliary build script +mod.write-atomic.files += $(topsrcdir)/build-aux/write-atomic +define mod.write-atomic.doc +# User variables: +# - `WRITE_ATOMIC ?= $(topsrcdir)/build-aux/write-atomic` +# Inputs: +# (none) +# Outputs: +# (none) +# +# The $(WRITE_ATOMIC) program reads a file from stdin, and writes it to +# the file named in argv[1], but does so atomically. +# +# That is, the following lines are almost equivalient: +# +# ... > $@ +# ... | $(WRITE_ATOMIC) $@ +# +# The are only different in that one is atomic, while the other is not. +endef +mod.write-atomic.doc := $(value mod.write-atomic.doc) + +WRITE_ATOMIC ?= $(topsrcdir)/build-aux/write-atomic |