diff options
Diffstat (limited to 'plugingui')
| -rw-r--r-- | plugingui/Makefile.mingw32 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugingui/Makefile.mingw32 b/plugingui/Makefile.mingw32 index afc43b8..df735d5 100644 --- a/plugingui/Makefile.mingw32 +++ b/plugingui/Makefile.mingw32 @@ -1,7 +1,7 @@ DG_SRC = \ ../src/configfile.cc \ ../src/thread.cc \ - ../src/semaphore.cc \ + ../src/sem.cc \ ../src/mutex.cc DG_CFLAGS = -I.. -I../src -DSSE -msse -msse2 |