1 files changed, 0 insertions, 1 deletions
diff --git a/src/lib/float.rs b/src/lib/float.rs
index 30781592b71..f916e97bbf8 100644
--- a/src/lib/float.rs
+++ b/src/lib/float.rs
@@ -346,6 +346,5 @@ pure fn nonnegative(x: float) -> bool {
 // indent-tabs-mode: nil
 // c-basic-offset: 4
 // buffer-file-coding-system: utf-8-unix
-// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
 // End:
 //