diff --git a/devel.install b/devel.install
index 14353d2f4cd0fb14f229f06b407edf01c01905c8..6fea698a6948c287aa7d2b56928d0ce1cf6bcba7 100644
--- a/devel.install
+++ b/devel.install
@@ -66,5 +66,9 @@ function devel_update_7000() {
  * Rebuild the menus since everything is defined by devel_menu().
  */
 function devel_update_7001() {
-  // Empty update. Update.php will rebuild menus automatically.
+  db_delete('menu_links')
+    ->condition('module', 'devel')
+    ->execute();
+  variable_set('menu_rebuild_needed', TRUE);
+  return t('Devel module menu links will be rebuilt.');
 }