diff options
Diffstat (limited to 'dist/s_all')
-rw-r--r-- | dist/s_all | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/s_all b/dist/s_all index ac1e59db719..796af3921f7 100644 --- a/dist/s_all +++ b/dist/s_all @@ -45,7 +45,7 @@ run "python serial.py" "Building serial function support" run "sh ./s_prototypes" "Building prototypes for include files" run "sh ./s_readme" "Building README file" -#run "sh ./s_tags" "Building tags files" +run "sh ./s_tags" "Building tags files" run "sh ./s_whitespace" "Removing trailing whitespace from source files" run "sh ./s_copyright" "Checking for incorrect copyright notices" |