Commit 982e15ea authored by Jakub Klinkovský's avatar Jakub Klinkovský
Browse files

Added workaround for an Ubuntu issue

parent 7d476bb5

Makefile

+4 −0
Original line number Diff line number Diff line 
# workaround for an Ubuntu issue:

# https://askubuntu.com/q/1351696

SHELL := sh



include config.mk



SOURCES := $(wildcard *.cpp)