emanuele6 1652420163 learn touch -r "$file1" -- "$file2".c && { if printf '\n' | make -f - -q -- "$file2"; then printf 'file1 older than file2\n'; else printf 'file1 newer than file2\n'; fi; rm -f -- "$file2".c ;}