fprintf(fp,"#line %d \"%s.h\"\n",outhline,filebase);
in_outh = TRUE;
} else if(fp == outph) {
+ char sep[2] = {0,0};
if(in_outph) return;
outphline++;
- fprintf(fp,"#line %d \"%s%cprivate.h\"\n",outphline,filebase,file_sep);
+ if (file_sep != 0)
+ sep[0] = file_sep;
+ fprintf(fp,"#line %d \"%s%sprivate.h\"\n",outphline,filebase,sep);
in_outph = TRUE;
} else
g_assert_not_reached();