Preprocess jsrc/X if it is newer than src/X ; make src/X read-only to avoid...
Preprocess jsrc/X if it is newer than src/X ; make src/X read-only to avoid editing generated files.
Preprocess jsrc/X if it is newer than src/X ; make src/X read-only to avoid editing generated files.