include Makefile.files

all:
	gcc ${DEBUG_SOURCES} main.c -o debug
# -DWITH_DBG_MUTEX