diff options
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index dec675d..b85e1d3 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -38,7 +38,7 @@ nodist_libdg_la_SOURCES = \ random.cc \ sample.cc \ sample_selection.cc \ - semaphore.cc \ + sem.cc \ staminafilter.cc \ thread.cc \ velocityfilter.cc \ @@ -87,7 +87,7 @@ EXTRA_DIST = \ rangemap.h \ sample.h \ sample_selection.h \ - semaphore.h \ + sem.h \ settings.h \ staminafilter.h \ syncedsettings.h \ |