13.33.13 edit_profile

Sets the same values as the Add or Edit Profile dialog box.

edit_profile -name profilename -type value -tool profiletool -location profilelocation [-args

parameters] [-batch value] [-new_name name]

Arguments

-name profilename

Specifies the name of your new profile.

-type value

Specifies your profile type, where value is one of the following:

ValueDescription

synthesis

New profile for a synthesis tool

simulation

New profile for a simulation tool

stimulus

New profile for a stimulus tool

flashpro

New FlashPro tool profile

coreconfig

New CoreConsole tool profile

-tool profiletool

Name of the tool you are adding to the profile.

-location profilelocation

Full pathname to the location of the tool you are adding to the profile.

-args parameters

Profile tool parameters (if any).

-batch value

Runs the tool in batch mode (if TRUE). Possible values are:

ValueDescription

TRUE

Runs the profile in batch mode

FALSE

Does not run the profile in batch mode

-new_name name

Name of new profile.