# HG changeset patch # User John Donoghue # Date 1582573685 18000 # Node ID cf13664131532d506b55cf2ed47345591cdaffb3 # Parent b532bb8c51bac0c5d4c58172a030361f402bb454 * src/msys2-filesystem.mk: insert mount of /tmp to user profile temp diff -r b532bb8c51ba -r cf1366413153 src/msys2-filesystem.mk --- a/src/msys2-filesystem.mk Sat Feb 22 10:54:49 2020 +0100 +++ b/src/msys2-filesystem.mk Mon Feb 24 14:48:05 2020 -0500 @@ -20,5 +20,7 @@ endef define $(PKG)_BUILD + echo "# mount tmp to users profile temp dir" >> "$(1)/etc/fstab" + echo "none /tmp usertemp binary,posix=0 0 0" >> "$(1)/etc/fstab" $(MSYS2_PKG_BUILD) endef