Arnout Vandecappelle 685f44de98 Globally replace $(HOST_DIR)/usr with $(HOST_DIR) ... Since things are no longer installed in $(HOST_DIR)/usr, the callers should also not refer to it. This is a mechanical change with git grep -l '\$(HOST_DIR)/usr' | xargs sed -i 's%\$(HOST_DIR)/usr%$(HOST_DIR)%g' Signed-off-by: Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>		2017-07-05 15:22:29 +02:00
..
0001-build-fix.patch
0002-erts-ethread-instruct-libatomic_ops-we-do-require-CA.patch
0003-erts-emulator-reorder-inclued-headers-paths.patch
Config.in
erlang.hash
erlang.mk