diff --git a/admin_menu.module b/admin_menu.module
index b3f170c..2e5cb47 100644
--- a/admin_menu.module
+++ b/admin_menu.module
@@ -326,6 +326,9 @@ function admin_menu_cache_set($cid, $data) {
 function admin_menu_js_cache() {
   global $conf;
 
+  // Suppress Devel module.
+  $GLOBALS['devel_shutdown'] = FALSE;
+
   // Enforce page caching.
   $conf['cache'] = 1;
   drupal_page_is_cacheable(TRUE);