From e561eb0f7845b1cbe774b94ca3a163ac85e3a1d3 Mon Sep 17 00:00:00 2001 From: Baruch Sterin Date: Tue, 10 Nov 2015 12:17:21 -0800 Subject: load_plugin: remove a check that the binary exists when a plugin command runs - the registration was successful, so the binary should exist. The check was remove to allow the -p option for load_plugin to work. --- src/base/cmd/cmdPlugin.c | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/base/cmd/cmdPlugin.c b/src/base/cmd/cmdPlugin.c index 51378653..9a3902ff 100644 --- a/src/base/cmd/cmdPlugin.c +++ b/src/base/cmd/cmdPlugin.c @@ -458,12 +458,6 @@ int Cmd_CommandAbcPlugIn( Abc_Frame_t * pAbc, int argc, char ** argv ) // check if there is the binary pFileNameBinary = Abc_GetBinaryName( pAbc, argc, argv ); - if ( (pFile = fopen( pFileNameBinary, "r" )) == NULL ) - { - Abc_Print( -1, "Cannot run the binary \"%s\".\n\n", pFileNameBinary ); - return 1; - } - fclose( pFile ); // create temp file fd = Util_SignalTmpFile( "__abctmp_", ".aig", &pFileIn ); -- cgit v1.2.3