MPIDE build/upload.properties

Created Sun, 17 Nov 2013 15:45:26 +0000 by Jacob Christ

Jacob Christ

Sun, 17 Nov 2013 15:45:26 +0000

Anyone know what this file is for?

Jacob

majenko

Sun, 17 Nov 2013 16:31:45 +0000

It's for uploading MPIDE to the Amazon AWS server. It's updated by the build.xml script.

You can make git ignore changes to that file:

Some files in a repository, which are versioned (i.e., they can't be git-ignored), are often changed, but rarely committed. Usually these are various local configuration files that are edited, but should never be committed upstream. Git lets you ignore those files by assuming they are unchanged. This is done by running the

git update-index --assume-unchanged build/upload.properties

command. Once marking a file as such, git will completely ignore any changes on that file; they will not show up when running git status or git diff, nor will they ever be committed. To make git track the file again, simply run

git update-index --no-assume-unchanged build/upload.properties