#
# Invoke with GNU make
#
include $(ERL_TOP)/make/run_make.mk