1 #ident "foo" 2 3 /* 4 * check-description: check that the non-standard "#ident ..." is ignored. 5 * check-name: ident 6 * check-command: sparse -E $file 7 * 8 * check-output-start 9 10 11 * check-output-end 12 */ 13