diff --git a/makefile.gaz b/makefile.gaz index e0ea0eb5e..e64de3edd 100644 --- a/makefile.gaz +++ b/makefile.gaz @@ -313,7 +313,8 @@ triggers_src := trigger \ thazard \ tbgeyser \ thazwalk \ - tsemit + tsemit \ + tsswitch utils_src := utils \ sincos \