make 4 was outputting errors which were landing in the file defined in $localdefsmk. This just prevents errors from being written to the file.
make 4 was outputting errors which were landing in the file defined in $localdefsmk. This just prevents errors from being written to the file.

pscedu/slash2-stable,pscedu/pfl,pscedu/pfl,pscedu/pfl,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/pfl,pscedu/slash2-stable