suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added the new module to the Makefile (forgot to do so in the last patch)

Browse Source
This commit is contained in:
Neil Brown 2008-11-08 12:02:13 +00:00
parent d0e2cd7b03
commit f9d6a9aa8d
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Makefile.am
View File

@ -113,6 +113,7 @@ tock_SOURCES_hs += backends/GenerateCPPCSP.hs
tock_SOURCES_hs += backends/TLP.hs
tock_SOURCES_hs += checks/ArrayUsageCheck.hs
tock_SOURCES_hs += checks/Check.hs
tock_SOURCES_hs += checks/CheckFramework.hs
tock_SOURCES_hs += checks/ExSet.hs
tock_SOURCES_hs += checks/Omega.hs
tock_SOURCES_hs += checks/UsageCheckAlgorithms.hs