Closed srki closed 7 years ago
Those binary files are deleted. It seems that I deleted binary files that were already in github repository. Should I add them back?
Even if the binaries aren't there in the filesystem, git is still storing metadata to track them because you haven't told it to stop. There's no automatic git-filesystem integration like you have with something like Dropbox.. You can still 'git rm' non-existent files as a way of telling git to not track them anymore. Then git commit and push, and those files should be removed from this pull request.
When I try to execute the following command $ git rm objOMP/isx.o_s I get this error fatal: pathspec 'test/performance-regression/full-apps/isx/objOMP/isx.o_s' did not match any files
Ah apologies, I believe 'git rm -f' will do it?
I still get the same error. $ pwd /home/sm108/libs/hclib/test/performance-regression/full-apps/isx $ git rm -f objOMP/isx.o_s fatal: pathspec 'test/performance-regression/full-apps/isx/objOMP/isx.o_s' did not match any files
Can you send the output of 'git status' by e-mail? And 'git diff isx-phases origin/isx-phases'?
Added ISx phases implementations.