always run diff synchronously to avoid getting garbled output
always run diff synchronously to avoid getting garbled output

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