You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
After struggling seeing other people's paths in MUMmer files (/Home/mmoser/... etc.), I realized I needed to do a 'make clean' in the MUMmer directory. Should that be added to the make_merger.sh script?
The text was updated successfully, but these errors were encountered:
On Thu, Dec 13, 2018, 5:53 PM Joseph Fass ***@***.*** wrote:
After struggling seeing other people's paths in MUMmer files
(/Home/mmoser/... etc.), I realized I needed to do a 'make clean' in the
MUMmer directory. Should that be added to the make_merger.sh script?
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
<#37>, or mute the thread
<https://github.com/notifications/unsubscribe-auth/AEI6viuoQEWS21HITccNVqIF3HAMPtCSks5u4wR6gaJpZM4ZSvwH>
.
After struggling seeing other people's paths in MUMmer files (/Home/mmoser/... etc.), I realized I needed to do a 'make clean' in the MUMmer directory. Should that be added to the make_merger.sh script?
The text was updated successfully, but these errors were encountered: